On systematic construction of correct logic programs
arxiv.org·6h
⚖️Hoare Logic
Structural vs. Mathematical “Under” (2023)
dyalog.com·10h·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
Automated Semantic Disambiguation via Multi-Modal Knowledge Graph Fusion
dev.to·1d·
Discuss: DEV
✓Automated Theorem Proving
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·6h
🎯Performance Proofs
FLINT: Fast Library for Number Theory
flintlib.org·16h
🧮Algebraic Datatypes
Sets & Heaps in Haskell and Rust
mmhaskell.com·1d
🔒Type Safety
Did GPT-5 Solve 'New Math'?
tech2geek.net·53m·
Discuss: Hacker News
🎯Performance Proofs
Learning ON Large Datasets Using Bit-String Trees
arxiv.org·6h
🗂️Vector Databases
Language Models Coupled with Metacognition Can Outperform Reasoning Models
arxiv.org·6h
🧠Intelligence Compression
How Many Paths of Length K Are There Between a and B?
horace.io·1d·
Discuss: Hacker News
🕸️Graph Algorithms
Deep Think with Confidence
arxiviq.substack.com·1d·
Discuss: Substack
💻Local LLMs
Guessing Game: Haskell Style
entropicthoughts.com·12h
👑Dependent Haskell
Two Dogmas of Empiricism
en.wikipedia.org·22h·
Discuss: Hacker News
💻Programming languages
Notes on Autograd
aschrein.github.io·16h·
Discuss: Hacker News
⚡Incremental Computation
Large Language Model-Based Automatic Formulation for Stochastic Optimization Models
arxiv.org·6h
🧠Machine Learning
Bmssp: A New Shortest Path Algorithm
rohanparanjpe.substack.com·16h·
Discuss: Substack
🔗Topological Sorting
Meta-R1: Empowering Large Reasoning Models with Metacognition
arxiv.org·6h
🧠Intelligence Compression
Sound and Solution-Complete CCBS
arxiv.org·1d
🛡️Archive Verification
A Tie-breaking based Local Search Algorithm for Stable Matching Problems
arxiv.org·6h
🌸Bloom Variants
Fair Auctions, Automata Routing, and Rebalancing for Distributed Mobility‑On‑Demand Assignment
hackernoon.com·13h
🎯Performance Proofs